机译:an overview of a method and its support tool for generating B specifications from UmL notations
机译:定义语法并为Agent UML提供工具支持。使用文字符号
机译:
机译:a
机译:从UML表示法生成B规范的方法及其支持工具的概述
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:基于UMLS的知识获取工具用于基于规则的临床决策支持系统开发
机译:在UML启发的图形符号的支持下,在KORRIGAN中规范混合系统